Willem Conradie: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Algorithmic correspondence for intuitionistic modal mu-calculus

Conradie, Willem, Fomatati, Yves, Palmigiano, Alessandra, Sourabh, Sumit

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 840 KB

english, 2015

2

Algebraic modal correspondence: Sahlqvist and beyond

Conradie, Willem, Palmigiano, Alessandra, Sourabh, Sumit

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.33 MB

english, 2016

3

Modelling socio-political competition

Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, Wijnberg, Nachoem

Journal:

Fuzzy Sets and Systems

Year:

2020

File:

PDF, 998 KB

2020

4

Rough concepts

Conradie, Willem, Frittella, Sabine, Manoorkar, Krishna, Nazari, Sajad, Palmigiano, Alessandra, Tzimoulis, Apostolos, Wijnberg, Nachoem M.

Journal:

Information Sciences

Year:

2020

File:

PDF, 968 KB

2020

5

Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA

Willem Conradie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 356 KB

english, 2009

6

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Willem Conradie, Valentin Goranko, Dimitar Vakarelov

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 269 KB

english, 2010

7

Algorithmic correspondence and canonicity for distributive modal logic

Willem Conradie, Alessandra Palmigiano

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 521 KB

english, 2012

8

IV. Semantic extensions of SQEMA

Conradie, Willem, Goranko, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

2008

Language:

english

File:

PDF, 321 KB

english, 2008

9

On the strength and scope of DLS

Conradie, Willem

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 177 KB

english, 2006

10

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders

Conradie, Willem, Durhan, Salih, Sciavicco, Guido

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

11

Failure of lopinavir???ritonavir (Kaletra)-containing regimen in an antiretroviral-naive patient

Conradie, Francesca, Sanne, Ian, Venter, Willem, Eron, Joseph

Journal:

Year:

2004

Language:

english

File:

PDF, 120 KB

english, 2004

12

325 * TOTALLY ENDOSCOPIC SURGICAL EPIMYOCARDIAL ABLATION IN PATIENTS TURNED DOWN FOR CATHETER TREATMENT DUE TO PERSISTENT LONE ATRIAL FIBRILLATION AND SIGNIFICANT ATRIAL DILATATION

Wagner, F. M., Conradi, L., Hofmann, B., Willems, S., Reichenspurner, H.

Journal:

Interactive Cardiovascular and Thoracic Surgery

Year:

2013

Language:

english

File:

PDF, 27 KB

english, 2013

13

On Sahlqvist theory for hybrid logics

Conradie, Willem, Robinson, Claudette

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 496 KB

english, 2015

14

Canonicity results for mu-calculi: an algorithmic approach

Conradie, Willem, Craig, Andrew

Journal:

Journal of Logic and Computation

Year:

2017

Language:

english

File:

PDF, 544 KB

english, 2017

15

Analogues of Bull’s theorem for hybrid logic

Conradie, Willem, Robinson, Claudette

Journal:

Logic Journal of IGPL

Year:

2018

Language:

english

File:

PDF, 542 KB

english, 2018

16

Third-Line Antiretroviral Therapy Program in the South African Public Sector

Moorhouse, Michelle, Maartens, Gary, Venter, Willem Daniel Francois, Moosa, Mahomed-Yunus, Steegen, Kim, Jamaloodien, Khadija, Fox, Matthew P., Conradie, Francesca

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Year:

2019

Language:

english

File:

PDF, 127 KB

english, 2019

17

Algorithmic correspondence and canonicity for non-distributive logics

Conradie, Willem, Palmigiano, Alessandra

Journal:

Annals of Pure and Applied Logic

Year:

2019

Language:

english

File:

PDF, 581 KB

english, 2019

18

Algorithmic correspondence and canonicity for non-distributive logics

Conradie, Willem, Palmigiano, Alessandra

Journal:

Annals of Pure and Applied Logic

Year:

2019

File:

PDF, 581 KB

2019

19

Probabilistic Epistemic Updates on Algebras

Conradie, Willem, Frittella, Sabine, Palmigiano, Alessandra, Tzimoulis, Apostolos, Wijnberg, Nachoem

Journal:

ACM Transactions on Computational Logic

Year:

2019

Language:

english

File:

PDF, 1.51 MB

english, 2019

20

Sa1108 SERUM AMYLOID A PROMOTES INFLAMMATION-ASSOCIATED DAMAGE, MACROPHAGE INFILTRATION AND TUMORIGENESIS IN A MOUSE MODEL OF COLITIS-ASSOCIATED COLON CANCER

Davis, Tanja, Conradie, Daleen, Shridas, Preetha, de Beer, Marcielle C., de Beer, Frederick c., Engelbrecht, Anna-Mart, de Villiers, Willem J.

Journal:

Gastroenterology

Year:

2020

File:

PDF, 307 KB

2020